Verifying Flexible Timeline-Based Plans
نویسندگان
چکیده
The synthesis of flexible temporal plans has demonstrated wide applications possibilities in heterogeneous domains. We are currently studying the connection between plan generation and execution from the particular perspective of verifying a flexible plan before actual execution. This paper explores how a model-checking verification tool, based on UPPAALTIGA, is suitable for verifying flexible temporal plans. We first describe the formal model, the formalism, and the verification method. Furthermore we discuss our own approach and some preliminary empirical results using a real-world case study.
منابع مشابه
Flexible Timeline-Based Plan Verification
Flexible temporal planning is a general technique that has demonstrated wide applications possibilities in heterogeneous domains. A key problem for widening applicability of these techniques is the robust connection between plan generation and execution. This paper describes how a model-checking verification tool, based on UPPAAL-TIGA, is suitable for verifying flexible temporal plans. Moreover...
متن کاملFlexible Plan Verification: Feasibility Results
Timeline-based planning techniques have demonstrated wide application possibilities in heterogeneous domains. However, a problem for a wider diffusion of such technology still stems in the reduced community that has been studying formal properties of this planning approach. In this sense, we are currently studying the connection between plan generation and execution from the particular perspect...
متن کاملQuality Metrics to Evaluate Flexible Timeline-Based Plans
Timeline-based Planning has been successfully applied in several contexts to solve Planning and Scheduling (P&S) problems. A key enabling feature of the timeline-based approach to planning is its capability of dealing with temporal flexibility. Temporal flexibility is an important feature in real world scenarios. Indeed, it can be exploited by an executive system for robust on-line execution of...
متن کاملA flexible temporal planner
The idea of including a flexible management of time in a temporal planner is the aim of this work. We propose an extension of a previous work of the authors [4] based on the use of fuzzy temporal intervals by defining a possibility measure over the continuous time line. This gives the planner some very interesting features like obtaining valid plans when the knowledge is ill defined, obtaining ...
متن کاملPlanning with Flexible Timelines in the Real World
Planning is a core field of Artificial Intelligence since its beginnings. Broadly speaking, planning techniques aim at providing artificial agents with the capability to autonomously solve ”complex” problems. Several planning techniques have been introduced in the literature that employ different approaches for modeling and solving planning problems. My PhD research activities concern timeline-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009